coq-proof-step-match:
  id: coq-proof-step-match.dev.v0
  metrics: [accuracy]
  description: Tests the model's ability to correctly predict the next proof step in Coq, given the current proof state. The proof states are generated by running Coqtop on a simple Coq tutorial (https://mathsanew.com/misc/coq_natural_numbers.html).

coq-proof-step-match.dev.v0:
  class: evals.elsuite.basic.match:Match
  args:
    samples_jsonl: coq-proof-step/match.jsonl
